<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="refresh" content="0; url=docs/html/index.html" />
</head>
</html>
